Language binding - PDFSEARCH.IO - Document Search Engine

Language binding
Results: 136

#	Item
31	Delimited continuations in natural language Quantification and polarity sensitivity Chung-chieh Shan Harvard University 33 Oxford Street Cambridge, MAUSA Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2004-01-11 10:44:26 Binding Generalized quantifier Quantification Entailment Constructible universe First-order logic Denotational semantics Symbol Ground expression Logic Semantics Mathematical logic
32	NB: Unofficial translation, legally binding only in Finnish and Swedish Ministry of Justice, Finland Adoption Act Act No, adopted on 20 January 2012 Add to Reading List Source URL: www.finlex.fi Language: English International adoption Language of adoption Contact Domestic adoption Adoption of Children Act Adoption in France Adoption Family Family law
33	Natural Language Generation with Head-Driven Phrase Structure Grammar A thesis submitted to the University of Manchester Institute of Science and Technology for the degree of Doctor of Philosophy Add to Reading List Source URL: www.ling.helsinki.fi Language: English - Date: 2005-08-15 11:34:25 Semantics Compiler construction Head-driven phrase structure grammar Situation semantics Parsing Syntax Feature structure Binding Compiler Linguistics Grammar Generative linguistics
34	FACSAn Open System Operational Semantics for an Object-Oriented and Component-Based Language Jasmin Christian Blanchette and Olaf Owe Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2009-11-22 11:37:03 Logic in computer science Programming language semantics Actor model Concurrent computing Symbol Binding Operational semantics Objective-C Computing Software engineering Computer programming
35	Lecture 3 on Partial Evaluation: Binding Times, Optimal Specialisation and Types Neil D. Jones DIKU, University of Copenhagen (prof. emeritus) PART I: HOW PARTIAL EVALUATION CAN BE DONE Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2011-12-19 05:05:46 Programming language implementation Procedural programming languages Evaluation strategy Incremental computing Partial evaluation Compiler Eval C Interpreter Computing Software engineering Software
36	FreshML: A Fresh Approach to Name Binding in Metaprogramming Languages Final Report∗ Andrew M. Pitts February 2005 Abstract Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2005-02-28 05:08:39 Logic in computer science Models of computation Formal methods Denotational semantics De Bruijn index Higher-order abstract syntax Lambda calculus ECL programming language Actor model Computing Software engineering Theoretical computer science
37	Higher-Order Intensional Type Analysis Stephanie Weirich Department of Computer Science, Cornell University Ithaca, NY 14850, USA Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Programming language theory Software engineering Symbol Recursive data type Constructor Turn Type system Binding Ordinal number Type theory Mathematical logic Data types
38	Non-local reflexive interpretations and the typology of anaphora Giorgos Spathas University of Stuttgart Work on Binding Theory (BT) in different frameworks (e.g, Reinhart and Reuland 1993, Pollard and Sag[removed]converge Add to Reading List Source URL: nels45.mit.edu Language: English - Date: 2014-10-28 01:13:50 Semantics Predicate logic Reflexive pronoun Free variables and bound variables Predicate Anaphora Ellipsis Princess Zelda The Legend of Zelda Linguistics Syntax Philosophy of language
39	CALCONNECT DOCUMENT CD1301 Type: Title: Version: Date: Status: Add to Reading List Source URL: www.calconnect.org Language: English - Date: 2013-01-10 18:18:18 Computer file formats CalDAV ICalendar Web services CalConnect WebDAV SOAP Web Services Description Language Simple Soap Binding Profile Computing Web standards Internet protocols
40	Binding Ontologies & Coding systems to Electronic Health Records and Messages AL Rector MD PhD1, R Qamar MSc1 and T Marley MSc2 1 School of Computer Science, University of Manchester, Manchester M13 9PL, UK Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2010-04-15 08:31:31 Semantic Web Information science Data Knowledge representation Technical communication SNOMED CT Web Ontology Language Description logic OpenEHR Information Science Ontology

UPDATE